Anytime Hierarchical Clustering

We propose a new anytime hierarchical clustering method that iteratively transforms an arbitrary initial hierarchy on the configuration of measurements along a sequence of trees we prove for a fixed data set must terminate in a chain of nested partitions that satisfies a natural homogeneity requirement. Each recursive step re-edits the tree so as to improve a local measure of cluster homogeneity that is compatible with a number of commonly used (e.g., single, average, complete) linkage functions. As an alternative to the standard batch algorithms, we present numerical evidence to suggest that appropriate adaptations of this method can yield decentralized, scalable algorithms suitable for distributed/parallel computation of clustering hierarchies and online tracking of clustering trees applicable to large, dynamically changing databases and anomaly detection.Comment: 13 pages, 6 figures, 5 tables, in preparation for submission to a conferenc

Clustering-Based Robot Navigation and Control

In robotics, it is essential to model and understand the topologies of configuration spaces in order to design provably correct motion planners. The common practice in motion planning for modelling configuration spaces requires either a global, explicit representation of a configuration space in terms of standard geometric and topological models, or an asymptotically dense collection of sample configurations connected by simple paths, capturing the connectivity of the underlying space. This dissertation introduces the use of clustering for closing the gap between these two complementary approaches. Traditionally an unsupervised learning method, clustering offers automated tools to discover hidden intrinsic structures in generally complex-shaped and high-dimensional configuration spaces of robotic systems. We demonstrate some potential applications of such clustering tools to the problem of feedback motion planning and control. The first part of the dissertation presents the use of hierarchical clustering for relaxed, deterministic coordination and control of multiple robots. We reinterpret this classical method for unsupervised learning as an abstract formalism for identifying and representing spatially cohesive and segregated robot groups at different resolutions, by relating the continuous space of configurations to the combinatorial space of trees. Based on this new abstraction and a careful topological characterization of the associated hierarchical structure, a provably correct, computationally efficient hierarchical navigation framework is proposed for collision-free coordinated motion design towards a designated multirobot configuration via a sequence of hierarchy-preserving local controllers. The second part of the dissertation introduces a new, robot-centric application of Voronoi diagrams to identify a collision-free neighborhood of a robot configuration that captures the local geometric structure of a configuration space around the robot’s instantaneous position. Based on robot-centric Voronoi diagrams, a provably correct, collision-free coverage and congestion control algorithm is proposed for distributed mobile sensing applications of heterogeneous disk-shaped robots; and a sensor-based reactive navigation algorithm is proposed for exact navigation of a disk-shaped robot in forest-like cluttered environments. These results strongly suggest that clustering is, indeed, an effective approach for automatically extracting intrinsic structures in configuration spaces and that it might play a key role in the design of computationally efficient, provably correct motion planners in complex, high-dimensional configuration spaces

Coordinated Robot Navigation via Hierarchical Clustering

We introduce the use of hierarchical clustering for relaxed, deterministic coordination and control of multiple robots. Traditionally an unsupervised learning method, hierarchical clustering offers a formalism for identifying and representing spatially cohesive and segregated robot groups at different resolutions by relating the continuous space of configurations to the combinatorial space of trees. We formalize and exploit this relation, developing computationally effective reactive algorithms for navigating through the combinatorial space in concert with geometric realizations for a particular choice of hierarchical clustering method. These constructions yield computationally effective vector field planners for both hierarchically invariant as well as transitional navigation in the configuration space. We apply these methods to the centralized coordination and control of $n$ perfectly sensed and actuated Euclidean spheres in a $d$-dimensional ambient space (for arbitrary $n$ and $d$). Given a desired configuration supporting a desired hierarchy, we construct a hybrid controller which is quadratic in $n$ and algebraic in $d$ and prove that its execution brings all but a measure zero set of initial configurations to the desired goal with the guarantee of no collisions along the way.Comment: 29 pages, 13 figures, 8 tables, extended version of a paper in preparation for submission to a journa

Exact Robot Navigation Using Power Diagrams

We reconsider the problem of reactive navigation in sphere worlds, i.e., the construction of a vector field over a compact, convex Euclidean subset punctured by Euclidean disks, whose flow brings a Euclidean disk robot from all but a zero measure set of initial conditions to a designated point destination, with the guarantee of no collisions along the way. We use power diagrams, generalized Voronoi diagrams with additive weights, to identify the robot’s collision free convex neighborhood, and to generate the value of our proposed candidate solution vector field at any free configuration via evaluation of an associated convex optimization problem. We prove that this scheme generates a continuous flow with the specified properties. We also propose its practical extension to the nonholonomically constrained kinematics of the standard differential drive vehicle.For more information: Kod*la

On the Optimality of Napoleon Triangles

An elementary geometric construction, known as Napoleon’s theorem, produces an equilateral triangle, obtained from equilateral triangles erected on the sides of any initial triangle: The centers of the three equilateral triangles erected on the sides of the arbitrarily given original triangle, all outward or all inward, are the vertices of the new equilateral triangle. In this note, we observe that two Napoleon iterations yield triangles with useful optimality properties. Two inner transformations result in a (degenerate) triangle, whose vertices coincide at the original centroid. Two outer transformations yield an equilateral triangle, whose vertices are closest to the original in the sense of minimizing the sum of the three squared distances.For more information: Kod*la

A Recursive, Distributed Minimum Spanning Tree Algorithm for Mobile Ad Hoc Networks

We introduce a recursive (“anytime”) distributed algorithm that iteratively restructures any initial spanning tree of a weighted graph towards a minimum spanning tree while guaranteeing at each successive step a spanning tree shared by all nodes that is of lower weight than the previous. Each recursive step is computed by a different active node at a computational cost at most quadratic in the total number of nodes and at a communications cost incurred by subsequent broadcast of the new edge set over the new spanning tree. We show that a polynomial cubic in the number of nodes bounds the worst case number of such steps required to reach a minimum spanning tree and, hence, the number of broadcasts along the way. We conjecture that the distributed, anytime nature of this algorithm is particularly suited to tracking minimum spanning trees in (sufficiently slowly changing) mobile ad hoc networks

Smooth Extensions of Feedback Motion Planners via Reference Governors

In robotics, it is often practically and theoretically convenient to design motion planners for approximate low-order (e.g., position- or velocity-controlled) robot models first, and then adapt such reference planners to more accurate high-order (e.g., force/torque-controlled) robot models. In this paper, we introduce a novel provably correct approach to extend the applicability of low-order feedback motion planners to high-order robot models, while retaining stability and collision avoidance properties, as well as enforcing additional constraints that are specific to the high-order models. Our smooth extension framework leverages the idea of reference governors to separate the issues of stability and constraint satisfaction, affording a bidirectionally coupled robot-governor system where the robot ensures stability with respect to the governor and the governor enforces state (e.g., collision avoidance) and control (e.g., actuator limits) constraints. We demonstrate example applications of our framework for augmenting path planners and vector field planners to the second-order robot dynamics

Voronoi-Based Coverage Control of Heterogeneous Disk-Shaped Robots

In distributed mobile sensing applications, networks of agents that are heterogeneous respecting both actuation as well as body and sensory footprint are often modelled by recourse to power diagrams — generalized Voronoi diagrams with additive weights. In this paper we adapt the body power diagram to introduce its “free subdiagram,” generating a vector field planner that solves the combined sensory coverage and collision avoidance problem via continuous evaluation of an associated constrained optimization problem. We propose practical extensions (a heuristic congestion manager that speeds convergence and a lift of the point particle controller to the more practical differential drive kinematics) that maintain the convergence and collision guarantees.For more information: Kod*la